Nuprl Definition : xxsym 13,42

sym(T;E) == Sym(T;x,y.E(x,y)) 
latex


Upgen algebra 1
Wellformedness Lemmasxxsym wf
DefinitionsSym(T;x,y.E(x;y))

origin